fibonacci heap properties